Is Exhaustive Testing Possible